Undo undocumented change.
authorDan Nicolaescu <dann@ics.uci.edu>
Tue, 28 Aug 2007 07:48:41 +0000 (07:48 +0000)
committerDan Nicolaescu <dann@ics.uci.edu>
Tue, 28 Aug 2007 07:48:41 +0000 (07:48 +0000)
commitcbc03b1f51f34c30faeef38c51991d4624909bdf
treea4782097fd7fdbbb828eff14b14d8716abbbfb65
parent8ec3f20b54391e517542ab17039c203bb7216943
Undo undocumented change.
src/intervals.h